Nuprl Definition : es-read-state
11,40
postcript
pdf
es-read-state(
s
)(
x
) ==
s
(
x
,0)
latex
Definitions
x
.
A
(
x
)
,
f
(
a
)
,
#$n
FDL editor aliases
es-read-state
origin
x.A(x)x.A(x)